Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*A0 --- 681.3*D2 --- 681.3*D2 Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- 681.3*A0 General --- General --- Computer architecture. Operating systems --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering. --- Software Engineering. --- Computer software engineering --- Engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer programs --- Specifications --- Congresses --- 681.3*D1 --- 681.3*D21 --- 681.3*F3 --- Programming techniques--See also {681.3*E} --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D1 Programming techniques--See also {681.3*E} --- Logic design. --- Software engineering. --- Logics and Meanings of Programs. --- Software Engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programs - Specifications - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- systeemontwikkeling (informatica) --- Computer programming --- Electronic data processing --- #ECO:04.09:sectoren IT-technologie ICT internet --- 681.3*D11 --- 681.3*D2 --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Applicative (functional) programming --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Automation --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D11 Applicative (functional) programming --- Calculatrices numériques. Programmation. --- Elektronische rekenmachines (Digitale). Programmatie.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Computer programming --- Programmation (Informatique) --- 681.3*D13 --- 681.3*D22 --- 681.3*F32 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Concurrent programming --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Programming --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D13 Concurrent programming --- Electronic digital computers programming --- Temporal Logic --- Concurrent Programming --- Infinite Structures --- Programming Methodology --- Verification --- Abstract data types (Computer science) --- Denotational Semantic --- Computer programming. --- Ordinateurs --- Programmation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Ada (Computer program language) --- Structured programming --- 681.3*D2 --- 681.3*D32 --- Computer programming --- Electronic data processing --- Programming languages (Electronic computers) --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Structured techniques --- Structured programming. --- ADA (programmeertaal) --- Ada (Computer program language). --- ADA (programmeertaal). --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51}